1. Bounded arithmetic, propositional logic, and complexity theory

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Constructive mathematics.,Proposition (Logic),Computational complexity.

رده :
QA
,
9
.
56
,.
K73
,
1995

2. Bounded arithmetic, propositional logic, and complexity theory

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Constructive mathematics,، Proposition )Logic(,، Computational complexity

رده :
QA
9
.
56
.
K7

3. Bounded arithmetic, propositional logic, and complexity theory

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Constructive mathematics. ; Proposition (Logic) ; Computational complexity. ;